Having the property that
ab
=
ba
for all
a
and
b
in
G
.